int foo() {
  return 0 ;
}
